Computer algebra system - PDFSEARCH.IO - Document Search Engine

Computer algebra system
Results: 376

#	Item
131	9ME3 Please stick the barcode label in the box Education Bureau Territory-wide System Assessment 2008 Secondary 3 Add to Reading List Source URL: www.bca.hkeaa.edu.hk Language: English - Date: 2010-01-25 04:48:29 IP Mathematics Theoretical computer science Logic Boolean algebra Logical disjunction Propositional calculus
132	Software Systems: Dependable System Operation Making Operations Recoverable process-oriented approach Liming Zhu Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-21 20:23:51 Idempotence Theoretical computer science Computing Linearizability Fail-fast Software engineering Mathematics Transaction processing Abstract algebra
133	Memo[removed]Senior secondary: 2015 Queensland Core Skills (QCS) Test - Approved calculators Add to Reading List Source URL: www.qcaa.qld.edu.au Language: English - Date: 2015-03-17 22:01:58 Mathematics Graphing calculator Calculators Queensland Core Skills Test Media technology QCS Software calculator Computer algebra system ACT Office equipment Technology Programmable calculators
134	Lparser v2.1 laurenslapre.nl Use of Lparser Just drag an inputfile over the Lparser program icon, or over a shortcut to the Lparser Add to Reading List Source URL: laurenslapre.nl Language: English - Date: 2014-01-19 10:30:29 Abstract algebra Linear algebra 3D computer graphics Graphics file formats Euclidean vector Cartesian coordinate system VRML Algebra Mathematics Vectors
135	Memo: QCS Test approved calaculators Add to Reading List Source URL: www.qcaa.qld.edu.au Language: English - Date: 2015-03-09 01:30:42 Mathematics Calculators Queensland Core Skills Test Graphing calculator Media technology QCS Software calculator Computer algebra system ACT Office equipment Programmable calculators Technology
136	Memo[removed]Senior secondary: 2015 Queensland Core Skills (QCS) Test - Approved calculators Add to Reading List Source URL: www.qcaa.qld.edu.au Language: English - Date: 2015-03-17 22:01:58 Mathematics Graphing calculator Calculators Queensland Core Skills Test Media technology QCS Software calculator Computer algebra system ACT Office equipment Technology Programmable calculators
137	Software Systems: Dependable System Operation Making Operations Recoverable process-oriented approach Liming Zhu Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-21 20:23:51 Idempotence Theoretical computer science Computing Linearizability Fail-fast Software engineering Mathematics Transaction processing Abstract algebra
138	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
139	In: Paparoditis N., Pierrot-Deseilligny M., Mallet C., Tournaire O. (Eds), IAPRS, Vol. XXXVIII, Part 3B – Saint-Mandé, France, September 1-3, 2010 ON THE EFFECTIVENESS OF FEATURE-BASED LIDAR POINT CLOUD REGISTRATION Add to Reading List Source URL: www.isprs.org Language: English - Date: 2012-10-18 14:37:40 Analytic geometry Geodesy Computer vision Cartography Measurement Photogrammetry Transformation Cartesian coordinate system Coordinate system Mathematics Geometry Algebra
140	NOAO DPP Document PL016 NEWFIRM linearity calibration and correction M. Dickinson1 National Optical Astronomy Observatory Add to Reading List Source URL: chive.tuc.noao.edu Language: English - Date: 2008-10-17 19:12:07 Elementary algebra Linear System time Pixel Computing Mathematics Digital photography Image processing Computer graphics

UPDATE